Target controlled infusion of propofol